Preferential choice and coordination conditions

نویسندگان

  • Jan A. Bergstra
  • Kees Middelburg
چکیده

We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditions, it becomes easy to model preferential choices. A preferential choice of a process is a choice whereby certain alternatives are excluded if at least one of the other alternatives is permitted by the context in which the process is placed. Preferential choices are usually modelled rather indirectly using a priority mechanism.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The power of choice combined with preferential attachment ∗

We prove almost sure convergence of the maximum degree in an evolving tree model combining local choice and preferential attachment. At each step in the growth of the graph, a new vertex is introduced. A fixed, finite number of possible neighbors are sampled from the existing vertices with probability proportional to degree. Of these possibilities, the new vertex attaches to the vertex from the...

متن کامل

The devil you know: The effect of brand recognition and product ratings on consumer choice

Previous research on the role of recognition in decision-making in inferential choice has focussed on the Recognition Heuristic (RH), which proposes that in situations where recognition is predictive of a decision criterion, recognized objects will be chosen over unrecognized ones, regardless of any other available relevant information. In the current study we examine the role of recognition in...

متن کامل

Survey of decision field theory

This article summarizes the cumulative progress of a cognitive-dynamical approach to decision making and preferential choice called decision field theory. This review includes applications to (a) binary decisions among risky and uncertain actions, (b) multi-attribute preferential choice, (c) multi-alternative preferential choice, and (d) certainty equivalents such as prices. The theory provides...

متن کامل

Health Sector Coordination in Disasters: Barriers & Facilitators

Background: Coordination is a critical factor in successful organization and appropriate response to disasters. In this regard, a centralized coordination mechanism is the first step towards an effective, efficient, and sustainable response in order to be ensured of the short- and long-term recovery. Thus, this study aimed to identify and prioritize the barriers and facilitators of coordination...

متن کامل

Interference of Various Sources of Sensory Feedback on Transition of Relative Phase in Bimanual Coordination on Active and Inactive Woman With Multiple Sclerosis

Purpose: Comparing the effects of manipulating senses on relative phase transition bimanual coordination pattern of active and inactive women with Multiple Sclerosis (MS). Methods: The methodology of this study was repeated-measures design. Study participants comprised 10 active women and 10 inactive women with multiple sclerosis who voluntarily participated in this experiment. The participant...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Log. Algebr. Program.

دوره 70  شماره 

صفحات  -

تاریخ انتشار 2007